SEIR 36 ref
id_total, 0.777714783
id_io_time, 0.0
id_global_time, 0.0
id_inclusion_check, 0.004013308
id_inclusion_check_mod_p, 0.00322329
id_groebner_time, 0.015326926
id_beautifulization, 0.138064335
id_normalforms_time, 0.0
id_gbfan_time, 0.0
id_ranking, 210.0
